1. A 25-Year perspective on logic programming
المؤلف: / Agostino Dovier, Enrico Pontelli (Eds.
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Italian Association for Logic Programming,Logic programming
رده :
QA76
.
63
.
T84
2010
2. A beginner's guide to Programming logic and design
المؤلف: Farrell, Joyce.
المکتبة: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع: ، Logic programming,، Logic design
رده :
QA
76
.
63
.
F37
3. A fuzzy PROLOG database system
المؤلف: Li, Deyi
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Data base management,، Prolog )Computer program language(,، Logic programming,، Fuzzy systems
رده :
QA
76
.
9
.
D3
.
L52
1990
4. A science of operations
المؤلف: / by Peter Mark Priestley
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical
رده :
QA76
.
6
.
P75
2010
5. A science of operations
المؤلف: Mark Priestley
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع: Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical
رده :
QA
،
76
.
6
،.
P737
،
2010
6. A tight, practical integration of relations and functions
المؤلف: Boley, Harold
المکتبة: (طهران)
موضوع: ، Logic programming,، Functional programming )Computer science(,، Relational databases
رده :
QA
76
.
L28
Vol
.
1712
7. A 25-year perspective on logic programming : achievements of the Italian Association for Logic Programming, GULP
المؤلف: Agostino Dovier, Enrico Pontelli )Eds.(
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: ، Gruppo Ricercatori e Utenti Logic Programming.,، Logic programming
رده :
QA
76
.
63
.
A14
2010
8. ALPUK 92
المؤلف: Krysia Broda )ed.(.
المکتبة: (کرمان)
موضوع: Logic programming -- Congresses
رده :
QA
76
.
63
.
A38
1993
9. Adapting proofs-as-programs
المؤلف: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
رده :
E-BOOK
10. Adapting proofs-as-programs
المؤلف: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
رده :
E-BOOK
11. Adapting proofs-as-programs
المؤلف: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Curry-Howard isomorphism.,Proof theory.,Logic, Symbolic and mathematical.,Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)
رده :
QA
,
9
.
54
,.
P64
,
2005
12. Advances in computational and stochastic optimization, logic programming, and heuristic search :
المؤلف: edited by David L. Woodruff.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic programming.,Mathematical optimization.,Operations research.
13. Advances in inductive logic programming
المؤلف: edited by L. De Raedt
المکتبة: (طهران)
موضوع: Logic programming
رده :
QA
76
.
63
.
A38
1996
14. Advances in knowledge Representation, Logic programming, and Abstract Argumentation
المؤلف: \ [edited by] Thomas Eiter...[et.al]
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Artificial intelligence,Logic programming.,هوش مصنوعی,برنامه‌نویسی منطقی.,a03,a04,a03,a04
رده :
TJ
211
.
A3
2015
E-Book
,
15. Algebraic and logic programming :
المؤلف: Giorgio Levi, Mario Rodríguez Artalejo (Eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebraic logic-- Congresses,Logic programming-- Congresses
رده :
QA76
.
6
.
A45843
1994
16. Algebraic and logic programming :
المؤلف: J. Grabowski, P. Lescanne, W. Wechler (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebraic logic -- Congresses.,Algebraic logic.,Logic programming -- Congresses.
رده :
QA76
.
6
J473
1989
17. Algebraic and logic programming : International Workshop, Gaussig, GDR, Novermber 14-18, 1988 : Proceedings
المؤلف: J. Grabowski, P. Lescanne, W. Wechler )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
343
18. Algebraic and logic programming : Second International Conference, Nancy, France, October 1-3, 1990 : Proceedings
المؤلف: H. Kirchner, W. Wechler, )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
463
19. Algebraic and logic programming : Third International Conference, Volterra, Italy, September 2-4, 1992 : proceedings
المؤلف: H. Kirchner, G. Levi, eds
المکتبة: (طهران)
موضوع: Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
632
20. Algebraic and logic programming : international workshop, Gaussig, GDR, November 14-18, 1988 : proceedings
المؤلف: J. Grabowski, P. Lescanne, W. Wechler )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
6
.
A4583
1988
